翻訳と辞書 Words near each other ・ Steve Atwater ・ Steve Augarde ・ Steve Augeri ・ Steve August ・ Steve Augustine (athlete) ・ Steve Austin (athlete) ・ Steve Austin (broadcaster) ・ Steve Austin (character) ・ Steve Austin (disambiguation) ・ Steve Austin (dog trainer) ・ Steve Austin's Broken Skull Challenge ・ Steve Austria ・ Steve Averill ・ Steve Avery ・ Steve Avery (American football) ・ Steve Awodey ・ Steve Axman ・ Steve Aylett ・ Steve Aylott ・ Steve Ayorinde ・ Steve Azar ・ Steve Baack ・ Steve Baca ・ Steve Bach ・ Steve Bacic ・ Steve Backley ・ Steve Backshall ・ Steve Badanes ・ Steve Baddeley ・ Steve Badger Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Steve Awodey ： ウィキペディア英語版 Steve Awodey Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University. He studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2012-13.〔(Institute for Advanced Study: A Community of Scholars )〕 ==Bibliography== * * * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Steve Awodey」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.